PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation

Abstract Secure multi-party computation (MPC) is a promising technique for privacy-persevering applications. A number of MPC frameworks have been proposed to reduce the burden designing customized protocols, allowing non-experts quickly develop and deploy To improve performance, recent allow users declare variables secret only these which are be protected. However, in practice, it usually highly non-trivial specify variables: declaring too many degrades performance while less compromises privacy. address this problem, work we propose an automated security policy synthesis approach as few possible but without compromising security. Our synergistic integration type inference symbolic reasoning. The former able infer sound—but sometimes conservative—security policy, whereas latter allows identify that can declassified precise manner. Moreover, results from reasoning fed back refine types even further. We implement our new tool PoS4MPC . Experimental on five typical applications confirm efficacy approach.